Sfoglia per Relatore MAIETTI, MARIA EMILIA
Interpretazione "proofs-as-programs" per l'aritmetica di Presburger
2021/2022 COLANERO, CAMILLA
L'interpretazione della logica intuizionista nella logica modale
2022/2023 TONOLO, GIULIA
Non conservatività dell'interpretazione di Curry-Howard-Martin-Lof della logica intuizionista con uguaglianza in teoria dei tipi
2021/2022 Andrigo, Giovanna
On Logical connectives and quantifiers as adjoint functors
2017/2018 Mengato, Stefano
Primi passi in analisi costruttiva: analogie e differenze con l'approccio classico
2021/2022 ZOCCO, GIOVANNI
RANEY EXTENSIONS AS POINTFREE T_0 SPACES
2023/2024 SUAREZ, ANNA LAURA
Rappresentazione categoriale della quantificazione esistenziale e sua costruzione libera
2021/2022 FERRO, CARLO
Semantica categoriale delle logiche intuizionista e classica.
2020/2021 FERIGO, RAVI
Strutture implicative
2021/2022 AL NABER, AMIR
Varianti della traduzione della doppia negazione di Goedel-Gentzen
2022/2023 PIANTAVIGNA, ESTER
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile